inference rule